<div>
   <p>
   The location of the mirror directory to reference when initialising the
repository. This is passed to repo as <code>repo sync --reference=<i>DIR</i></code>.
This speeds up fetching code and isn't used by default.
  </p>
</div>
